#include <cppunit/config/SourcePrefix.h>
#include "StmtTableTest.h"
#include <iostream>
#include <string>

using namespace std;

void StmtTableTest::setUp() {}
void StmtTableTest::tearDown() {}

CPPUNIT_TEST_SUITE_REGISTRATION( StmtTableTest );

void StmtTableTest::testInsertStmt(){
	cout << "Testing : void StmtTable::insertStmt(INDEX, DESIGN_ENTITY)" <<endl;
	StmtTable* table = new StmtTable();
	CPPUNIT_ASSERT(table->stmtTable.empty());
	table->insertStmt(2,"stmt");
	CPPUNIT_ASSERT_EQUAL(2, table->stmtTable.begin()->first);
	CPPUNIT_ASSERT(table->stmtTable.begin()->second == "stmt");
	cout << "Test OK : void StmtTable::insertStmt(INDEX, DESIGN_ENTITY)" <<endl;
}
